Online learning of variable ordering heuristics for constraint optimisation problems
نویسندگان
چکیده
Abstract Solvers for constraint optimisation problems exploit variable and value ordering heuristics. Numerous expert-designed heuristics exist, while recent research learns novel, customised from past problem instances. This article addresses unseen which no historical data is available. We propose one-shot learning of customised, instance-specific To do so, we introduce the concept deep , a data-driven approach to learn extended versions given heuristic online. First, instance, an initial online probing phase collects data, function learned. The learned can look ahead arbitrarily-many levels in search tree instead ‘shallow’ localised lookahead classical A restart-based strategy allows multiple models be acquired exploited solver’s optimisation. demonstrate based on smallest, anti first-fail, maximum regret Results instances MiniZinc benchmark suite show that solve 20% more improving overall runtime Open Stacks Evilshop problems.
منابع مشابه
Toward Understanding Variable Ordering Heuristics for Constraint Satisfaction Problems
Most previous work on understanding variable ordering heuristics for constraint satisfaction problems has focused on the ability to recover from bad decisions. It has been demonstrated however that this ability cannot be the full explanation of the quality of a variable ordering heuristic [8]. In this paper, we develop a more complete framework for analyzing heuristics based on optimal policies...
متن کاملConstraint and Variable Ordering Heuristics for Compiling Configuration Problems
To facilitate interactive design, the solutions to configuration problems can be compiled into a decision diagram. We develop three heuristics for reducing the time and space required to do this. These heuristics are based on the distinctive clustered and hierarchical structure of the constraint graphs of configuration problems. The first heuristic attempts to limit the growth in the size of th...
متن کاملEvolving Variable-Ordering Heuristics for Constrained Optimisation
In this paper we present and evaluate an evolutionary approach for learning new constraint satisfaction algorithms, specifically for MAX-SAT optimisation problems. Our approach offers two significant advantages over existing methods: it allows the evolution of more complex combinations of heuristics, and; it can identify fruitful synergies among heuristics. Using four different classes of MAX-S...
متن کاملNeighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem
One of the key factors in the eeciency of backtracking algorithms is the rule they use to decide on which variable to branch next (namely, the variable ordering heuristics). In this paper, we give a formulation of dynamic variable ordering heuristics that takes into account the properties of the neighborhood of the variable.
متن کاملMulti Level Variable Ordering Heuristics for the Constraint Satisfaction Problem
The usual way for solving constraint satisfaction problems is to use a backtracking algorithm One of the key factors in its e ciency is the rule it will use to decide on which variable to branch next namely the variable ordering heuristics In this paper we attempt to give a general formulation of dynamic variable ordering heuristics that take into account the properties of the neighborhood of t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematics and Artificial Intelligence
سال: 2022
ISSN: ['1573-7470', '1012-2443']
DOI: https://doi.org/10.1007/s10472-022-09816-z